Enciclopedia Universal. 2012.
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
ACL2 — ACL2, (A Computational Logic for Applicative Common Lisp), is a software system consisting of a programming language, an extensible theory in a first order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in … Wikipedia
McCarthy 91 function — The McCarthy 91 function is a recursive function, defined by computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as The results of evaluating the function are given… … Wikipedia
Check Wikipedia — Wikiproyecto:Check Wikipedia Saltar a navegación, búsqueda Esta página contiene de forma consciente fallos ortográficos. Los bots no deben intentar corregirlos. Atajo PR:CWPR:CW … Wikipedia Español
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… … Wikipedia
J Strother Moore — (his first name is the alphabetic character J ndash; not an abbreviated J. ) is a computer scientist, and he is a co developer of the Boyer Moore string search algorithm and the Boyer Moore automated theorem prover, Nqthm. A good example of the… … Wikipedia
Renault Primaquatre — Infobox Automobile name = Renault Primaquatre stablemates = aka = Renault Type KZ manufacturer = Renault parent company = production = 1931 1941 predecessor = Renault KZ successor = Renault Colorale class = Mid size car Large Family Car platform … Wikipedia
Lisp — Información general Paradigma multiparadigma: orientado a objetos, funcional, declarativo Apareció en 1958 Diseñado por John McCarthy … Wikipedia Español
GNU Common Lisp — Тип Интерпретатор и компилятор Разработчик Проект GNU Написана на Си и Лисп Операционная система Unix подобные операционные системы, Microsoft Windows Последняя версия … Википедия
